An M-Net Semantics for a Real-Time Extension of µSDL
نویسندگان
چکیده
In this paper an extension of SDL by real-time assertions is suggested. A denotational compositional semantics in terms of timed high level Petri nets is given. This semantics allows to reason about timed SDL-speciications by simulation of the underlying high level nets as well as by unfolding these into timed low level nets and then applying analysis methods for timed Petri nets or temporal model checking. The approach is embedded in the MOBY-tool.
منابع مشابه
A Real-time Motion Tracking Wireless System for Upper Limb Exosuit Based on Inertial Measurement Units and Flex Sensors (TECHNICAL NOTE)
This paper puts forward a real-time angular tracking (motion capture) system for a low cost upper limb exosuit based on sensor fusion; which is integrated by an elastic sleeve-mitten, two inertial measurement units (IMU), two flex sensors and a wireless communication system. The device can accurately detect the angular position of the shoulder (flexion-extension, abduction-adduction and interna...
متن کاملDevelopment of New Modified Simple Polymerase Chain Reaction and Real-time Polymerase Chain Reaction for the Identification of Iranian Brucella abortus Strains
Brucellosis is primarily a worldwide zoonotic disease caused by Brucella species. The genus Brucella contains highly infectious species that are classified as biological threat agents. In this regard, the identification of Brucella can be a time-consuming and labor-intensive process posing a real risk of laboratory-acquired infection to the laboratory staff. This stud...
متن کاملAdding Real Time Constraints to Synchronised Petri Nets
This report defines synchronised Petri nets with inhibitor arcs and an extension of these nets that integrates real-time constraints. The semantics of these nets is given by a transition system built using Structured Operational Semantics (sos)) rules. This report is part of a larger framework that attempts to attach real-time constraints to the CO-OPN/2 language.
متن کاملDevelopment and Evaluation of Real-Time RT-PCR Test for Quantitative and Qualitative Recognition of Current H9N2 Subtype Avian Influenza Viruses in Iran
Avian influenza H9N2 subtype viruses have had a great impact on Iranian industrial poultry production economy since introduction in the country. To approach Rapid and precise identification of this viruses as control measures in poultry industry, a real time probe base assay was developed to directly detect a specific influenza virus of H9N2 subtype -instead of general detection of Influenza A ...
متن کاملTime Petri Nets with Action Duration: A True Concurrency Real-Time Model
The design of real-time systems needs a high-level specification model supporting at the same time timing constraints and actions duration. The authors introduce in this paper an extension of Petri Nets called Time Petri Nets with Action Duration (DTPN) where time is associated with transitions. In DTPN, the firing of transitions is bound to a time interval and transitions represent actions whi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997